David Dale - PDFSEARCH.IO - Document Search Engine

David Dale
Results: 153

#	Item
11	National Alumni Board Meeting Minutes April 25, 2014 Attendees: Emily Abbas, Ann Anklam, Erica Axiotis, David Beall, Kevin Bell, Steve Berry, Martha Capps, Norah Carroll, Dale Charles, Paul Doucette, Anne Driscoll, Mari Add to Reading List Source URL: alumni.drake.edu Language: English - Date: 2015-01-28 10:44:21
12	Focused Inductive Theorem Proving David Baelde1 , Dale Miller2 , and Zachary Snow1 1 Digital Technology Center and Dept of CS, University of Minnesota 2 Add to Reading List Source URL: slimmer.gforge.inria.fr Language: English - Date: 2013-01-20 14:08:26
13	National Alumni Board Meeting Minutes Jan, 2015 Attendees: Emily Abbas, Erica Axiotis, David Beall, Kevin Bell, Steve Berry, Norah Carroll, Dale Charles, Tim Coonan, Marisa Gift, Drew Gulley, Janelle Holmes, C Add to Reading List Source URL: alumni.drake.edu Language: English - Date: 2015-04-30 16:13:12
14	National Alumni Board Meeting Minutes January 31-February 1, 2014 Attendees: Emily Abbas, Joe Aiello, Jonathan Azu, David Beall, Kevin Bell, Steve Berry, Martha Capps, Norah Carroll, Dale Charles, Paul Doucette, Anne Add to Reading List Source URL: alumni.drake.edu Language: English - Date: 2015-01-28 10:44:21
15	Issues in Designing a Bitcoin-Like Community Currency David Vandervort, Dale Gaucas, and Robert St Jacques , , PARC, Webster, NY Add to Reading List Source URL: suddenplasma.weebly.com Language: English - Date: 2015-05-30 18:40:59
16	National Alumni Board Meeting Minutes October 4-5, 2013 Attendees: Emily Abbas, Ann Anklam, Erica Axiotis, David Beall, Kevin Bell, Steve Berry, Martha Capps, Norah Carroll, Dale Charles, Roxanne Barton Conlin, Paul Do Add to Reading List Source URL: alumni.drake.edu Language: English - Date: 2015-01-28 10:44:21
17	USCP Annual Board Meeting Minutes December 9-10, 2014 Present: Craig Shackelford, Kathy Brorman, James Wuerflein, David Fremark, Martin Kerschen, Bill Greving, Carlton Bridgeforth, Dale Murden, John Dvoracek, Florentino Add to Reading List Source URL: sorghumcheckoff.com Language: English - Date: 2015-03-27 11:27:25
18	Focused Inductive Theorem Proving David Baelde1 , Dale Miller2 , and Zachary Snow1 1 Digital Technology Center and Dept of CS, University of Minnesota 2 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-04-19 17:30:34
19	USCP Board Meeting August 27, 2013 Board members present: Bill Greving, Troy Skarke, Jeff Casten, John Dvoracek, Dale Murden, Stewart Weaver, Adam Baldwin, David Fremark, Bill Kubecka, James Wuerflein and Dale Artho Boar Add to Reading List Source URL: sorghumcheckoff.com Language: English - Date: 2014-02-24 10:51:07
20	Least and greatest fixed points in linear logic David Baelde and Dale Miller ´ INRIA & LIX/Ecole Polytechnique, Palaiseau, France david.baelde at ens-lyon.org Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-08-02 03:39:16